# precisely+bounded

31

**Local consistency**— In constraint satisfaction, local consistency conditions are properties of constraint satisfaction problems related to the consistency of subsets of variables or constraints. Several such conditions exist, the most known being node consistency,… …32

**Navier–Stokes existence and smoothness**— Millennium Prize Problems P versus NP problem Hodge conjecture Poincaré conjecture Riemann hypo …33

**History of the Church-Turing thesis**— This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …34

**arts, East Asian**— Introduction music and visual and performing arts of China, Korea, and Japan. The literatures of these countries are covered in the articles Chinese literature, Korean literature, and Japanese literature. Some studies of East Asia… …35

**History of the Church–Turing thesis**— This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… …36

**Floating point**— In computing, floating point describes a method of representing real numbers in a way that can support a wide range of values. Numbers are, in general, represented approximately to a fixed number of significant digits and scaled using an exponent …37

**Vector space**— This article is about linear (vector) spaces. For the structure in incidence geometry, see Linear space (geometry). Vector addition and scalar multiplication: a vector v (blue) is added to another vector w (red, upper illustration). Below, w is… …38

**Extreme value theorem**— This article is about continuous functions in analysis. For statistical theorems about the largest observation in a sequence of random variables, see extreme value theory. A continuous function ƒ(x) on the closed interval [a,b] showing the… …39

**Computational complexity theory**— is a branch of the theory of computation in theoretical computer science and mathematics that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other. In this context, a… …40

**Planar graph**— Example graphs Planar Nonplanar Butterfly graph K5 The complete graph K4 …